SemCheck: Checking Constraints for Multi-perspective Modeling Languages

نویسنده

Manfred A. Jeusfeld

چکیده

Enterprises are complex and dynamic organizations that can hardly be understood from a single viewpoint. Enterprise modelling tackles this problem by providing multiple, specialized modelling languages, each designed for representing information about the enterprise from a given viewpoint. The OmiLab initiative promotes the use of meta-modelling to design such domain-specific languages and to provide them by an open repository to the community. In this chapter, we discuss how this meta-modelling approach can be combined with the design of integrity constraints that span multiple modelling languages. We propose the services of the ConceptBase system as a constraint checker for modelling languages created by the ADOxx platform.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

UML data models from an ORM perspective : Part 8

This paper is the eighth in a series of articles examining data modeling in the Unified Modeling Language (UML) from the perspective of Object Role Modeling (ORM). Part 1 discussed historical background, design criteria for modeling languages, object reference and single-valued attributes. Part 2 covered multi-valued attributes, basic constraints, and instantiation using UML object diagrams or ...

متن کامل

UML Data Models From An ORM Perspective

This paper is the sixth in a series of articles examining data modeling in the Unified Modeling Language (UML) from the perspective of Object Role Modeling (ORM). Part 1 discussed historical background, design criteria for modeling languages, object reference and single-valued attributes. Part 2 covered multi-valued attributes, basic constraints, and instantiation using UML object diagrams or O...

متن کامل

An Extensive Model Checking Framework for Multi-agent Systems (Demonstration)

In this work, we propose a novel probabilistic modeling language PML-MAS to capture the stochastic characteristics of multi-agent systems (MASs). Moreover, we design a model checking framework for MAS, which is highly extensible. It provides powerful modeling editor, interactive simulator and automatic verifier for MASs. In addition, it can support various MAS model languages via extracting the...

متن کامل

A Type Language for Calendars

Time and calendars play an important role in databases, on the Semantic Web, as well as in mobile computing. Temporal data and calendars require (specific) modeling and processing tools. CaTTS is a type language for calendar definitions using which one can model and process temporal and calendric data. CaTTS is based on a “theory reasoning” approach for efficiency reasons. This article addresse...

متن کامل